منابع مشابه
Seminar 7: the Logic of Principia Mathematica
Volume 1 of Principia Mathematica, in which Russell and Whitehead set out their reduction of arithmetic to logic was published in 1910. Although the reduction adopts a conception of number very much like Frege’s, it is developed in a system of logic designed to avoid the paradox that defeated Frege. Avoiding it required giving up the idea that for every formula in the logical language, there is...
متن کاملAn Automated Derivation of the Sentential Calculus of Principia Mathematica from Łukasiewicz's CN
The optimization of computing systems hosted on Boolean-circuit-based computing equipment must be expressed at some level in Boolean behaviors and operations. Boolean behaviors and operations are part of a larger family of logics -the logic of sentences, also known as the "sentential calculus". Two logics are implicationally equivalent if the axioms and inference rules of each imply the axioms ...
متن کاملAn Automated Derivation of Łukasiewicz's CN from the Sentential Calculus of Principia Mathematica
The optimization of computing systems that incorporate Boolean-circuit-based computing equipment must be expressed at some level in Boolean behaviors and operations. Boolean behaviors and operations are part of a larger family of logics -the logic of sentences, also known as the "sentential calculus". Two logics are implicationally equivalent if the axioms and inference rules of each imply the ...
متن کاملRethinking Newton’s Principia
It is widely accepted that the notion of inertial frame is central to Newtonian mechanics, and that the correct space-time structure underlying Newton’s methods in Principia is neo-Newtonian or Galilean space-time. I argue to the contrary that inertial frames are not needed in Newton’s theory of motion, and that the right space-time structure for Newton’s Principia requires the notion of parall...
متن کاملPrincipia Metaphysica * (draft)
§6: The Theory of Meinongian Objects 31 ∗Copyright c © 1999, by Edward N. Zalta. All rights reserved. Please do not copy, reprint, circulate, or cite without permission from the author. This manuscript presents the a priori consequences of the theory of abstract objects. This theory has been developed and explained in print (Zalta [1983], [1988], [1993]) and in unpublished manuscripts (see the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1911
ISSN: 0028-0836,1476-4687
DOI: 10.1038/087273a0